/*******************************************************************************
 * Copyright (c) 2002, 2014 IBM Corp. and others
 *
 * This program and the accompanying materials are made available under
 * the terms of the Eclipse Public License 2.0 which accompanies this
 * distribution and is available at https://www.eclipse.org/legal/epl-2.0/
 * or the Apache License, Version 2.0 which accompanies this distribution and
 * is available at https://www.apache.org/licenses/LICENSE-2.0.
 *
 * This Source Code may also be made available under the following
 * Secondary Licenses when the conditions for such availability set
 * forth in the Eclipse Public License, v. 2.0 are satisfied: GNU
 * General Public License, version 2 with the GNU Classpath
 * Exception [1] and GNU General Public License, version 2 with the
 * OpenJDK Assembly Exception [2].
 *
 * [1] https://www.gnu.org/software/classpath/license.html
 * [2] http://openjdk.java.net/legal/assembly-exception.html
 *
 * SPDX-License-Identifier: EPL-2.0 OR Apache-2.0
 *******************************************************************************/
#define true 1
#define false 0
#include "floatsanityg.h"


   void group_JBdmul() {
      int i=0, groupNum=7,numTests=351;
      int testsPassed=0, testsFailed=0;
      unsigned int op_0 [] = {
         0x00000000,0x40000000, 
         0x00000000,0x40080000, 
         0x00000000,0x402e0000, 
         0x00000000,0x403e0000, 
         0x00000000,0x40468000, 
         0x00000000,0x404e0000, 
         0x00000000,0x4052c000, 
         0x00000000,0x405a4000, 
         0x00000000,0x405e0000, 
         0x00000000,0x4060e000, 
         0x00000000,0x4062c000, 
         0x00000000,0x4064a000, 
         0x00000000,0x40686000, 
         0x00000000,0x406a4000, 
         0x00000000,0x406c2000, 
         0x00000000,0x406e0000, 
         0x00000000,0x406fe000, 
         0x00000000,0x4071d000, 
         0x00000000,0x4072c000, 
         0x00000000,0x4073b000, 
         0x00000000,0x4074a000, 
         0x00000000,0x40759000, 
         0x00000000,0xbff00000, 
         0x00000000,0x40140000, 
         0x00000000,0xc02e0000, 
         0x00000000,0x00000000, 
         0x00000000,0xc02c0000, 
         0x00000000,0x40180000, 
         0x00000000,0xc0220000, 
         0x00000000,0xc0200000, 
         0x00000000,0x40200000, 
         0x00000000,0x402c0000, 
         0x00000000,0x403e0000, 
         0x00000000,0x402a0000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000001,0x00000000, 
         0x00000000,0x80000000, 
         0x00000001,0x00000000, 
         0x00000000,0x00000000, 
         0x00000001,0x80000000, 
         0x00000000,0x80000000, 
         0x00000001,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00040000, 
         0x00000000,0x80000000, 
         0x00000000,0x00040000, 
         0x00000000,0x00000000, 
         0x00000000,0x80040000, 
         0x00000000,0x80000000, 
         0x00000000,0x80040000, 
         0x00000000,0x00000000, 
         0xeb1c432d,0x3f1a36e2, 
         0x00000000,0x80000000, 
         0xeb1c432d,0x3f1a36e2, 
         0x00000000,0x00000000, 
         0xeb1c432d,0xbf1a36e2, 
         0x00000000,0x80000000, 
         0xeb1c432d,0xbf1a36e2, 
         0x00000000,0x00000000, 
         0x47ae147b,0x3f847ae1, 
         0x00000000,0x80000000, 
         0x47ae147b,0x3f847ae1, 
         0x00000000,0x00000000, 
         0x47ae147b,0xbf847ae1, 
         0x00000000,0x80000000, 
         0x47ae147b,0xbf847ae1, 
         0x00000000,0x00000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x80000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x00000000, 
         0x00000000,0xbff00000, 
         0x00000000,0x80000000, 
         0x00000000,0xbff00000, 
         0x00000000,0x00000000, 
         0x00000000,0x40000000, 
         0x00000000,0x80000000, 
         0x00000000,0x40000000, 
         0x00000000,0x00000000, 
         0x00000000,0xc0000000, 
         0x00000000,0x80000000, 
         0x00000000,0xc0000000, 
         0x00000000,0x00000000, 
         0x00000000,0x408f4000, 
         0x00000000,0x80000000, 
         0x00000000,0x408f4000, 
         0x00000000,0x00000000, 
         0x00000000,0xc08f4000, 
         0x00000000,0x80000000, 
         0x00000000,0xc08f4000, 
         0x00000000,0x00000000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x80000000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x00000000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x80000000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x7ff80000, 
         0x00000000,0xfff00000, 
         0x00000000,0x7ff80000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x7ff80000, 
         0x00000000,0xc08f4000, 
         0x00000000,0x7ff80000, 
         0x00000000,0xc0690000, 
         0x00000000,0x7ff80000, 
         0x9999999a,0xc0019999, 
         0x00000000,0x7ff80000, 
         0x00000000,0xbff00000, 
         0x00000000,0x7ff80000, 
         0xeb1c432d,0xbf1a36e2, 
         0x00000000,0x7ff80000, 
         0x00000000,0x80040000, 
         0x00000000,0x7ff80000, 
         0x00000001,0x80000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x80000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x00000000, 
         0x00000000,0x7ff80000, 
         0x00000001,0x00000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x00040000, 
         0x00000000,0x7ff80000, 
         0xeb1c432d,0x3f1a36e2, 
         0x00000000,0x7ff80000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x7ff80000, 
         0x9999999a,0x40019999, 
         0x00000000,0x7ff80000, 
         0x00000000,0x40690000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x408f4000, 
         0x00000000,0x7ff80000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff00000, 
         0x00000000,0x00000000, 
         0x00000000,0x7ff00000, 
         0x00000000,0x00000000, 
         0x00000000,0xfff00000, 
         0x00000000,0x80000000, 
         0x00000000,0x7ff00000, 
         0x00000000,0x80000000, 
         0x00000000,0xfff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x40000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x40000000, 
         0x00000000,0xbff00000, 
         0x00000000,0xc0000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xc0000000, 
         0x00000000,0xbff00000, 
         0x00000000,0x40000000, 
         0x9999999a,0x3ff19999, 
         0x00000000,0x40000000, 
         0x9999999a,0xbff19999, 
         0x00000000,0xc0000000, 
         0x9999999a,0x3ff19999, 
         0x00000000,0xc0000000, 
         0x9999999a,0xbff19999, 
         0x47ae147b,0x3f847ae1, 
         0x00000000,0x40590000, 
         0x47ae147b,0x3f847ae1, 
         0x00000000,0xc0590000, 
         0x47ae147b,0xbf847ae1, 
         0x00000000,0x40590000, 
         0x47ae147b,0xbf847ae1, 
         0x00000000,0xc0590000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x3ff00000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0xbff00000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x3ff00000, 
         0xffffffff,0xffefffff, 
         0x00000000,0xbff00000, 
         0x00000000,0x00040000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x00040000, 
         0x00000000,0xbff00000, 
         0x00000000,0x80040000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x80040000, 
         0x00000000,0xbff00000, 
         0x00000000,0xc0000000, 
         0x00000000,0x40498000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x382d7365,0x3fd0c152, 
         0x00000000,0xc0080000, 
         0x55555555,0x3fb55555, 
         0x00000000,0x40000000, 
         0x382d7365,0x3fe0c152, 
         0x55555555,0x3fc55555, 
         0x00000000,0x40080000, 
         0x54442d18,0x3fe921fb, 
         0x00000000,0x3fd00000, 
         0x00000000,0x40100000, 
         0x382d7365,0x3ff0c152, 
         0x55555555,0x3fd55555, 
         0xc638d03f,0x3ff4f1a6, 
         0xaaaaaaab,0x3fdaaaaa, 
         0x54442d18,0x3ff921fb, 
         0x00000000,0x3fe00000, 
         0xe24f89f2,0x3ffd524f, 
         0xaaaaaaab,0x3fe2aaaa, 
         0x382d7365,0x4000c152, 
         0x55555555,0x3fe55555, 
         0x7f3321d2,0x4002d97c, 
         0x00000000,0x3fe80000, 
         0xc638d03f,0x4004f1a6, 
         0xaaaaaaab,0x3feaaaaa, 
         0x0d3e7eab,0x400709d1, 
         0x55555555,0x3fed5555, 
         0x54442d18,0x400921fb, 
         0x00000000,0x3ff00000, 
         0x9b49db84,0x400b3a25, 
         0x55555555,0x3ff15555, 
         0xe24f89f2,0x400d524f, 
         0xaaaaaaab,0x3ff2aaaa, 
         0x2955385e,0x400f6a7a, 
         0x00000000,0x3ff40000, 
         0x382d7365,0x4010c152, 
         0x00000000,0x3ff00000, 
         0x55555555,0x3ff55555, 
         0x5bb04a9c,0x4011cd67, 
         0xaaaaaaab,0x3ff6aaaa, 
         0x7f3321d2,0x4012d97c, 
         0x00000000,0x3ff80000, 
         0x00000000,0x401c0000, 
         0xa2b5f909,0x4013e591, 
         0x55555555,0x3ff95555, 
         0xc638d03f,0x4014f1a6, 
         0xaaaaaaab,0x3ffaaaaa, 
         0xe9bba775,0x4015fdbb, 
         0x00000000,0x3ffc0000, 
         0x0d3e7eab,0x401709d1, 
         0x55555555,0x3ffd5555, 
         0x30c155e2,0x401815e6, 
         0xaaaaaaab,0x3ffeaaaa, 
         0x54442d18,0x401921fb, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x382d7365,0xbfd0c152, 
         0x55555555,0xbfb55555, 
         0x382d7365,0xbfe0c152, 
         0x55555555,0xbfc55555, 
         0x54442d18,0xbfe921fb, 
         0x00000000,0xbfd00000, 
         0x382d7365,0xbff0c152, 
         0x55555555,0xbfd55555, 
         0xc638d03f,0xbff4f1a6, 
         0xaaaaaaab,0xbfdaaaaa, 
         0x54442d18,0xbff921fb, 
         0x00000000,0xbfe00000, 
         0xe24f89f2,0xbffd524f, 
         0xaaaaaaab,0xbfe2aaaa, 
         0x382d7365,0xc000c152, 
         0x55555555,0xbfe55555, 
         0x7f3321d2,0xc002d97c, 
         0x00000000,0xbfe80000, 
         0xc638d03f,0xc004f1a6, 
         0xaaaaaaab,0xbfeaaaaa, 
         0x0d3e7eab,0xc00709d1, 
         0x55555555,0xbfed5555, 
         0x54442d18,0xc00921fb, 
         0x00000000,0xbff00000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x40220000, 
         0x00000000,0x40240000, 
         0x00000000,0x40260000, 
         0x00000000,0xc0100000, 
         0x00000000,0x40300000, 
         0x00000000,0x40310000, 
         0x00000000,0x40330000, 
         0x00000000,0x40340000, 
         0x00000000,0x40360000, 
         0xe0000000,0x416fffff, 
         0xe0000000,0x416fffff, 
         0xfffffff8,0x000fffff, 
         0xffffffff,0x001fffff, 
         0x44e38425,0x00000000, 
         0xffffffff,0x001fffff, 
         0x007e03f7,0x3b200000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x40470000, 
         0x0000003f,0x00000000, 
         0x10410410,0x3ff84104, 
         0x0000003f,0x00000000, 
         0x08208208,0x3ff02082, 
         0x0000007f,0x00000000, 
         0x40810204,0x3ff01020, 
         0x40810204,0x3fe81020, 
         0x0000007f,0x00000000, 
         0x20408102,0x3fe40810, 
         0x0000007f,0x00000000, 
         0x10204081,0x3fe20408, 
         0x0000007f,0x00000000, 
         0x00000007,0x00100000, 
         0x00000000,0x3fe90000, 
         0x00000007,0x00100000, 
         0x00000000,0x3fe92000, 
         0x00000007,0x00100000, 
         0x00000000,0x3fe92400, 
         0x00000007,0x00100000, 
         0x00000000,0x3fe92480, 
         0x0000000f,0x00100000, 
         0x00000000,0x3fe88888, 
         0x0000000f,0x00100000, 
         0x00000000,0x3fe44444, 
         0x0000000f,0x00100000, 
         0x80000000,0x3fe88888, 
         0x0000000f,0x00100000, 
         0x40000000,0x3fe44444, 
         0x0000001f,0x00100000, 
         0x84000000,0x3fe84210, 
         0x07ffffff,0x00000000, 
         0x01000000,0x3ff00000, 
         0x0000001f,0x00100000, 
         0x42000000,0x3fe42108, 
         0x0fffffff,0x00000000, 
         0x00800000,0x3ff00000, 
         0x0000001f,0x00100000, 
         0x21000000,0x3fe21084, 
         0x1fffffff,0x00000000, 
         0x00400000,0x3ff00000, 
         0x3fffffff,0x00000000, 
         0x00200000,0x3ff00000, 
         0x7fffffff,0x00000000, 
         0x00100000,0x3ff00000, 
         0x0000001f,0x00100000, 
         0x84200000,0x3fe84210, 
         0xffffffff,0x00000000, 
         0x00080000,0x3ff00000, 
         0x0000001f,0x00100000, 
         0x42100000,0x3fe42108, 
         0xffffffff,0x00000001, 
         0x00040000,0x3ff00000, 
         0x0000001f,0x00100000, 
         0x0, 0x0};
      unsigned int op_1 [] = {
         0x54442d18,0x400921fb, 
         0x54442d18,0x400921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x54442d18,0x401921fb, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000001,0x00000000, 
         0x00000000,0x00000000, 
         0x00000001,0x00000000, 
         0x00000000,0x80000000, 
         0x00000001,0x80000000, 
         0x00000000,0x00000000, 
         0x00000001,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00040000, 
         0x00000000,0x00000000, 
         0x00000000,0x00040000, 
         0x00000000,0x80000000, 
         0x00000000,0x80040000, 
         0x00000000,0x00000000, 
         0x00000000,0x80040000, 
         0x00000000,0x80000000, 
         0xeb1c432d,0x3f1a36e2, 
         0x00000000,0x00000000, 
         0xeb1c432d,0x3f1a36e2, 
         0x00000000,0x80000000, 
         0xeb1c432d,0xbf1a36e2, 
         0x00000000,0x00000000, 
         0xeb1c432d,0xbf1a36e2, 
         0x00000000,0x80000000, 
         0x47ae147b,0x3f847ae1, 
         0x00000000,0x00000000, 
         0x47ae147b,0x3f847ae1, 
         0x00000000,0x80000000, 
         0x47ae147b,0xbf847ae1, 
         0x00000000,0x00000000, 
         0x47ae147b,0xbf847ae1, 
         0x00000000,0x80000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x00000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x80000000, 
         0x00000000,0xbff00000, 
         0x00000000,0x00000000, 
         0x00000000,0xbff00000, 
         0x00000000,0x80000000, 
         0x00000000,0x40000000, 
         0x00000000,0x00000000, 
         0x00000000,0x40000000, 
         0x00000000,0x80000000, 
         0x00000000,0xc0000000, 
         0x00000000,0x00000000, 
         0x00000000,0xc0000000, 
         0x00000000,0x80000000, 
         0x00000000,0x408f4000, 
         0x00000000,0x00000000, 
         0x00000000,0x408f4000, 
         0x00000000,0x80000000, 
         0x00000000,0xc08f4000, 
         0x00000000,0x00000000, 
         0x00000000,0xc08f4000, 
         0x00000000,0x80000000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x00000000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x80000000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x00000000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x80000000, 
         0x00000000,0xfff00000, 
         0x00000000,0x7ff80000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x7ff80000, 
         0x00000000,0xc08f4000, 
         0x00000000,0x7ff80000, 
         0x00000000,0xc0690000, 
         0x00000000,0x7ff80000, 
         0x9999999a,0xc0019999, 
         0x00000000,0x7ff80000, 
         0x00000000,0xbff00000, 
         0x00000000,0x7ff80000, 
         0xeb1c432d,0xbf1a36e2, 
         0x00000000,0x7ff80000, 
         0x00000000,0x80040000, 
         0x00000000,0x7ff80000, 
         0x00000001,0x80000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x80000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x00000000, 
         0x00000000,0x7ff80000, 
         0x00000001,0x00000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x00040000, 
         0x00000000,0x7ff80000, 
         0xeb1c432d,0x3f1a36e2, 
         0x00000000,0x7ff80000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x7ff80000, 
         0x9999999a,0x40019999, 
         0x00000000,0x7ff80000, 
         0x00000000,0x40690000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x408f4000, 
         0x00000000,0x7ff80000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff00000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff00000, 
         0x00000000,0x00000000, 
         0x00000000,0xfff00000, 
         0x00000000,0x00000000, 
         0x00000000,0x7ff00000, 
         0x00000000,0x80000000, 
         0x00000000,0xfff00000, 
         0x00000000,0x80000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x40000000, 
         0x00000000,0xbff00000, 
         0x00000000,0x40000000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xc0000000, 
         0x00000000,0xbff00000, 
         0x00000000,0xc0000000, 
         0x9999999a,0x3ff19999, 
         0x00000000,0x40000000, 
         0x9999999a,0xbff19999, 
         0x00000000,0x40000000, 
         0x9999999a,0x3ff19999, 
         0x00000000,0xc0000000, 
         0x9999999a,0xbff19999, 
         0x00000000,0xc0000000, 
         0x00000000,0x40590000, 
         0x47ae147b,0x3f847ae1, 
         0x00000000,0xc0590000, 
         0x47ae147b,0x3f847ae1, 
         0x00000000,0x40590000, 
         0x47ae147b,0xbf847ae1, 
         0x00000000,0xc0590000, 
         0x47ae147b,0xbf847ae1, 
         0x00000000,0x3ff00000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0xbff00000, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x3ff00000, 
         0xffffffff,0xffefffff, 
         0x00000000,0xbff00000, 
         0xffffffff,0xffefffff, 
         0x00000000,0x3ff00000, 
         0x00000000,0x00040000, 
         0x00000000,0xbff00000, 
         0x00000000,0x00040000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x80040000, 
         0x00000000,0xbff00000, 
         0x00000000,0x80040000, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x509f79fe,0x3fd34413, 
         0x54442d18,0x400921fb, 
         0x509f79fe,0x3fd34413, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x509f79fe,0x3fd34413, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x509f79fe,0x3fd34413, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x509f79fe,0x3fd34413, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x509f79fe,0x3fd34413, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x00000000,0x40668000, 
         0x54442d18,0x400921fb, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x509f79fe,0x3fd34413, 
         0x00000000,0x3ff00000, 
         0x00000000,0x35200000, 
         0x00000001,0x3ff00000, 
         0x00000000,0xbfe00000, 
         0x40000000,0x414dbaa6, 
         0x00000000,0x40000000, 
         0x00010000,0x3cd00000, 
         0x00090000,0x80000000, 
         0x509f79fe,0x3fd34413, 
         0x10410410,0x3ff84104, 
         0x0000003f,0x00000000, 
         0x08208208,0x3ff02082, 
         0x0000003f,0x00000000, 
         0x40810204,0x3ff01020, 
         0x0000007f,0x00000000, 
         0x0000007f,0x00000000, 
         0x20408102,0x3fe40810, 
         0x0000007f,0x00000000, 
         0x10204081,0x3fe20408, 
         0x0000007f,0x00000000, 
         0x40810204,0x3fe81020, 
         0x00000000,0x3fe90000, 
         0x00000007,0x00100000, 
         0x00000000,0x3fe92000, 
         0x00000007,0x00100000, 
         0x00000000,0x3fe92400, 
         0x00000007,0x00100000, 
         0x00000000,0x3fe92480, 
         0x00000007,0x00100000, 
         0x00000000,0x3fe88888, 
         0x0000000f,0x00100000, 
         0x00000000,0x3fe44444, 
         0x0000000f,0x00100000, 
         0x80000000,0x3fe88888, 
         0x0000000f,0x00100000, 
         0x40000000,0x3fe44444, 
         0x0000000f,0x00100000, 
         0x84000000,0x3fe84210, 
         0x0000001f,0x00100000, 
         0x01000000,0x3ff00000, 
         0x07ffffff,0x00000000, 
         0x42000000,0x3fe42108, 
         0x0000001f,0x00100000, 
         0x00800000,0x3ff00000, 
         0x0fffffff,0x00000000, 
         0x21000000,0x3fe21084, 
         0x0000001f,0x00100000, 
         0x00400000,0x3ff00000, 
         0x1fffffff,0x00000000, 
         0x00200000,0x3ff00000, 
         0x3fffffff,0x00000000, 
         0x00100000,0x3ff00000, 
         0x7fffffff,0x00000000, 
         0x84200000,0x3fe84210, 
         0x0000001f,0x00100000, 
         0x00080000,0x3ff00000, 
         0xffffffff,0x00000000, 
         0x42100000,0x3fe42108, 
         0x0000001f,0x00100000, 
         0x00040000,0x3ff00000, 
         0xffffffff,0x00000001, 
         0x21080000,0x3fe21084, 
         0x0, 0x0};
      unsigned int result [] = {
         0x54442d18,0x401921fb, 
         0x7f3321d2,0x4022d97c, 
         0x9effea46,0x40578fdb, 
         0x9effea46,0x40678fdb, 
         0xb73fefb5,0x4071abe4, 
         0x9effea46,0x40778fdb, 
         0x86bfe4d8,0x407d73d2, 
         0x2b1fecfe,0x40849de0, 
         0x9effea46,0x40878fdb, 
         0x12dfe78f,0x408a81d7, 
         0x86bfe4d8,0x408d73d2, 
         0xfd4ff110,0x409032e6, 
         0x712fee59,0x409324e2, 
         0x2b1fecfe,0x40949de0, 
         0xe50feba2,0x409616dd, 
         0x9effea46,0x40978fdb, 
         0x58efe8eb,0x409908d9, 
         0xcccfe634,0x409bfad4, 
         0x86bfe4d8,0x409d73d2, 
         0x40afe37d,0x409eecd0, 
         0xfd4ff110,0x40a032e6, 
         0xda47f063,0x40a0ef65, 
         0x509f79fe,0xbfd34413, 
         0x24c7587e,0x3ff81518, 
         0x1b95825e,0xc0120fd2, 
         0x00000000,0x00000000, 
         0xe68b8abe,0xc010db90, 
         0xf8ef36fd,0x3ffce61c, 
         0xbab3693e,0xc005ac95, 
         0x509f79fe,0xc0034413, 
         0x509f79fe,0x40034413, 
         0xe68b8abe,0x4010db90, 
         0x1b95825e,0x40220fd2, 
         0x6303263d,0x400f4e9f, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0xfff80000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x40000000, 
         0x00000000,0x40000000, 
         0x00000000,0xc0000000, 
         0x00000000,0xc0000000, 
         0x00000000,0xc0000000, 
         0x00000000,0xc0000000, 
         0x00000000,0x40000000, 
         0x00000000,0x40000000, 
         0x9999999a,0x40019999, 
         0x9999999a,0x40019999, 
         0x9999999a,0xc0019999, 
         0x9999999a,0xc0019999, 
         0x9999999a,0xc0019999, 
         0x9999999a,0xc0019999, 
         0x9999999a,0x40019999, 
         0x9999999a,0x40019999, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0xbff00000, 
         0x00000000,0x3ff00000, 
         0x00000000,0x3ff00000, 
         0xffffffff,0x7fefffff, 
         0xffffffff,0x7fefffff, 
         0xffffffff,0xffefffff, 
         0xffffffff,0xffefffff, 
         0xffffffff,0xffefffff, 
         0xffffffff,0xffefffff, 
         0xffffffff,0x7fefffff, 
         0xffffffff,0x7fefffff, 
         0x00000000,0x00040000, 
         0x00000000,0x00040000, 
         0x00000000,0x80040000, 
         0x00000000,0x80040000, 
         0x00000000,0x80040000, 
         0x00000000,0x80040000, 
         0x00000000,0x00040000, 
         0x00000000,0x00040000, 
         0x509f79fe,0xbfe34413, 
         0xc87e2a6d,0x402eb47e, 
         0x00000000,0x00000000, 
         0x00000000,0x00000000, 
         0x9effea46,0x40478fdb, 
         0xf8ef36fd,0xbfece61c, 
         0x382d7365,0x3fd0c152, 
         0x509f79fe,0x3fe34413, 
         0x9effea46,0x40578fdb, 
         0x382d7365,0x3fe0c152, 
         0xf8ef36fd,0x3fece61c, 
         0xb73fefb5,0x4061abe4, 
         0x54442d18,0x3fe921fb, 
         0x509f79fe,0x3ff34413, 
         0x9effea46,0x40678fdb, 
         0x382d7365,0x3ff0c152, 
         0x86bfe4d9,0x406d73d2, 
         0xc638d03f,0x3ff4f1a6, 
         0xb73fefb5,0x4071abe4, 
         0x54442d18,0x3ff921fb, 
         0x2b1fecfe,0x40749de0, 
         0xe24f89f2,0x3ffd524f, 
         0x9effea46,0x40778fdb, 
         0x382d7365,0x4000c152, 
         0x12dfe78f,0x407a81d7, 
         0x7f3321d2,0x4002d97c, 
         0x86bfe4d9,0x407d73d2, 
         0xc638d03f,0x4004f1a6, 
         0xfd4ff110,0x408032e6, 
         0x0d3e7eab,0x400709d1, 
         0xb73fefb5,0x4081abe4, 
         0x54442d18,0x400921fb, 
         0x712fee59,0x408324e2, 
         0x9b49db84,0x400b3a25, 
         0x2b1fecfe,0x40849de0, 
         0xe24f89f2,0x400d524f, 
         0xe50feba2,0x408616dd, 
         0x2955385e,0x400f6a7a, 
         0x9effea46,0x40878fdb, 
         0x509f79fe,0x3fd34413, 
         0x382d7365,0x4010c152, 
         0x58efe8eb,0x408908d9, 
         0x5bb04a9c,0x4011cd67, 
         0x12dfe78f,0x408a81d7, 
         0x7f3321d2,0x4012d97c, 
         0xe68b8abe,0x4000db90, 
         0xcccfe635,0x408bfad4, 
         0xa2b5f908,0x4013e591, 
         0x86bfe4d9,0x408d73d2, 
         0xc638d03f,0x4014f1a6, 
         0x40afe37d,0x408eecd0, 
         0xe9bba775,0x4015fdbb, 
         0xfd4ff110,0x409032e6, 
         0x0d3e7eab,0x401709d1, 
         0xda47f063,0x4090ef65, 
         0x30c155e2,0x401815e6, 
         0xb73fefb5,0x4091abe4, 
         0x00000000,0x80000000, 
         0x00000000,0x80000000, 
         0x9effea46,0xc0478fdb, 
         0x382d7365,0xbfd0c152, 
         0x9effea46,0xc0578fdb, 
         0x382d7365,0xbfe0c152, 
         0xb73fefb5,0xc061abe4, 
         0x54442d18,0xbfe921fb, 
         0x9effea46,0xc0678fdb, 
         0x382d7365,0xbff0c152, 
         0x86bfe4d9,0xc06d73d2, 
         0xc638d03f,0xbff4f1a6, 
         0xb73fefb5,0xc071abe4, 
         0x54442d18,0xbff921fb, 
         0x2b1fecfe,0xc0749de0, 
         0xe24f89f2,0xbffd524f, 
         0x9effea46,0xc0778fdb, 
         0x382d7365,0xc000c152, 
         0x12dfe78f,0xc07a81d7, 
         0x7f3321d2,0xc002d97c, 
         0x86bfe4d9,0xc07d73d2, 
         0xc638d03f,0xc004f1a6, 
         0xfd4ff110,0xc08032e6, 
         0x0d3e7eab,0xc00709d1, 
         0xb73fefb5,0xc081abe4, 
         0x54442d18,0xc00921fb, 
         0x00000000,0x7ff80000, 
         0x00000000,0x7ff80000, 
         0xbab3693e,0x4005ac95, 
         0x24c7587e,0x40081518, 
         0x8edb47bd,0x400a7d9a, 
         0x509f79fe,0xbff34413, 
         0x509f79fe,0x40134413, 
         0x85a9719e,0x40147854, 
         0xefbd60de,0x4016e0d6, 
         0x24c7587e,0x40181518, 
         0x8edb47bd,0x401a7d9a, 
         0xe0000000,0x416fffff, 
         0xe0000000,0x369fffff, 
         0xfffffff9,0x000fffff, 
         0x00000000,0x80100000, 
         0x05e8e60e,0x00100000, 
         0xffffffff,0x002fffff, 
         0x007f03f7,0x38000000, 
         0x00090000,0x80000000, 
         0xc3e53f5d,0x402bb1db, 
         0x0000005f,0x00000000, 
         0x0000005f,0x00000000, 
         0x0000003f,0x00000000, 
         0x0000003f,0x00000000, 
         0x0000007f,0x00000000, 
         0x0000007f,0x00000000, 
         0x0000005f,0x00000000, 
         0x0000004f,0x00000000, 
         0x0000004f,0x00000000, 
         0x00000047,0x00000000, 
         0x00000047,0x00000000, 
         0x0000005f,0x00000000, 
         0x00000005,0x000c8000, 
         0x00000005,0x000c8000, 
         0x00000005,0x000c9000, 
         0x00000005,0x000c9000, 
         0x00000005,0x000c9200, 
         0x00000005,0x000c9200, 
         0x00000005,0x000c9240, 
         0x00000005,0x000c9240, 
         0x0000000b,0x000c4444, 
         0x0000000b,0x000c4444, 
         0x00000009,0x000a2222, 
         0x00000009,0x000a2222, 
         0x4000000b,0x000c4444, 
         0x4000000b,0x000c4444, 
         0x20000009,0x000a2222, 
         0x20000009,0x000a2222, 
         0x42000017,0x000c2108, 
         0x42000017,0x000c2108, 
         0x07ffffff,0x00000000, 
         0x07ffffff,0x00000000, 
         0x21000013,0x000a1084, 
         0x21000013,0x000a1084, 
         0x0fffffff,0x00000000, 
         0x0fffffff,0x00000000, 
         0x10800011,0x00090842, 
         0x10800011,0x00090842, 
         0x1fffffff,0x00000000, 
         0x1fffffff,0x00000000, 
         0x3fffffff,0x00000000, 
         0x3fffffff,0x00000000, 
         0x7fffffff,0x00000000, 
         0x7fffffff,0x00000000, 
         0x42100017,0x000c2108, 
         0x42100017,0x000c2108, 
         0xffffffff,0x00000000, 
         0xffffffff,0x00000000, 
         0x21080013,0x000a1084, 
         0x21080013,0x000a1084, 
         0xffffffff,0x00000001, 
         0xffffffff,0x00000001, 
         0x10840011,0x00090842, 
         0x0, 0x0};
      double *p0=(double *) op_0;
      double *p1=(double *) op_1;
      double *erp=(double*) result, r, *rp=&r;
      for (i=0; i<numTests; i++) {
         r = JBdmul(*(p0), *(p1));
         if ( IS_DNAN(erp) ){
            if ( !(IS_DNAN(&r)) ){
               printf("%d.%d: op_0=0x%08x%08x , op_1=0x%08x%08x Expected=0x%08x%08x Actual=0x%08x%08x \n",
                  groupNum, i, 
                  *((int *)p0+1), *(int *)p0, *((int *)p1+1), *(int *)p1, *((int *) erp + 1), *(int *)erp, *((int *) &r + 1), *(int *)&r);
               testsFailed++;
            } else {
               testsPassed++;
            }

         } else {
            if ( (HIWORD(&r) != HIWORD(erp)) || (LOWORD(&r) != LOWORD(erp)) ){
               printf("%d.%d: op_0=0x%08x%08x , op_1=0x%08x%08x Expected=0x%08x%08x Actual=0x%08x%08x \n",
                  groupNum, i, 
                  *((int *)p0+1), *(int *)p0, *((int *)p1+1), *(int *)p1, *((int *) erp + 1), *(int *)erp, *((int *) &r + 1), *(int *)&r);
               testsFailed++;
            } else {
               testsPassed++;
            }
         }

         p0++;p1++;erp++;
      }
      printf("[%d] %s Passed %d Failed %d Total %d \n", groupNum,"JBdmul", testsPassed, testsFailed, numTests);
      totalNumTest +=numTests; totalTestsPassed +=testsPassed; totalTestsFailed +=testsFailed;
   }

